On Optimizing the Sweep-Line Method
نویسنده
چکیده
For applying the sweep-line method, a state space reduction technique, it is necessary to provide an automatic calculation of a progress measure. In [1], such a calculation has been proposed for Petri nets. The approach presented there may lead to suboptimal results, therefore the author suggested possible optimizations. In this paper, we check whether the proposed optimization goals indeed lead to an improved performance of the sweep-line method.
منابع مشابه
Sweep Line Algorithm for Convex Hull Revisited
Convex hull of some given points is the intersection of all convex sets containing them. It is used as primary structure in many other problems in computational geometry and other areas like image processing, model identification, geographical data systems, and triangular computation of a set of points and so on. Computing the convex hull of a set of point is one of the most fundamental and imp...
متن کاملThe sweep-line state space exploration method
The sweep-line method exploits intrinsic progress in concurrent systems to alleviate the state explosion problem in explicit state model checking. The concept of progress makes it possible to delete states from the memory during state space exploration and thereby reduce peak memory usage. The contribution of this paper is twofold. First, we provide a coherent presentation of the sweep-line the...
متن کاملCan a Healthcare “Lean Sweep” Deliver on What Matters to Patients?; Comment on “Improving Wait Times to Care for Individuals with Multimorbidities and Complex Conditions Using Value Stream Mapping”
Disconnects and defects in care – such as duplication, poor integration between services or avoidable adverse events – are costly to the health system and potentially harmful to patients and families. For patients living with multiple chronic conditions, such disconnects can be particularly detrimental. Lean is an approach to optimizing value by reducing waste (eg, duplication and defects) and ...
متن کامل